# SPDX-License-Identifier: GPL-2.0-only
#
# Confidential computing related collateral
#
obj-$(CONFIG_TSM_REPORTS)	+= tsm.o
obj-$(CONFIG_EFI_SECRET)	+= efi_secret/
obj-$(CONFIG_ARM_PKVM_GUEST)	+= pkvm-guest/
obj-$(CONFIG_SEV_GUEST)		+= sev-guest/
obj-$(CONFIG_INTEL_TDX_GUEST)	+= tdx-guest/
